Semigroup theory - PDFSEARCH.IO - Document Search Engine

Semigroup theory
Results: 336

#	Item
151	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein type classes & locales Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Semigroup Monoid Special classes of semigroups Bicyclic semigroup Semigroup theory Algebra Algebraic structures
152	Type Classes Common pattern in Mathematics: ➜ Define abstract structures (semigroup, group, ring, field, etc) ➜ Study and derive properties in these structures COMP 4161 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Monoid Semigroup Algebraic structures Algebra Semigroup theory
153	第 34 卷第 5 期 2004年10月中　国　科　学　技　术　大　学　学　报 Vol . 34 ,No. 5 Add to Reading List Source URL: just.ustc.edu.cn Language: English - Date: 2006-10-24 11:18:58 Special classes of semigroups Inverse semigroup Semigroup Inverse element Regular semigroup Nambooripad order Completely regular semigroup Band Semigroup with involution Semigroup theory Algebraic structures Mathematics
154	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Semigroup theory Abstract algebra Category theory Monoid Inverse element Semigroup Constructible universe Isabelle Fixed-point combinator Mathematics Algebra Algebraic structures
155	Resolvent Positive Linear Operators Exhibit the Reduction Phenomenon Lee Altenberg February 27, 2012 Add to Reading List Source URL: dynamics.org Language: English - Date: 2012-02-27 06:07:55 Functional analysis Linear algebra Convex analysis Operator theory Matrix theory Perron–Frobenius theorem C0-semigroup Vector space Convex function Mathematics Mathematical analysis Algebra
156	Regular Temporal Cost Fun tions Thomas Col ombet1 , Denis Kuperberg1 , Sylvain Lombardy2 1 Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Ligm - Université Paris-Est Marne-la-Vallée, Fran e Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Semigroup theory Mathematics Semigroup Metre Semiautomaton Automata theory Formal languages Category theory
157	1 Joseph Muscat 2013 Monoids and Groups The simplest case of a universal algebra (magma) is a set X with a single Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-10-01 03:49:14 Algebraic structures Semigroup theory Nonassociative algebra Group theory Functions and mappings Monoid Inverse element Semigroup Cancellation property Abstract algebra Mathematics Algebra
158	An automaton model for forest algebras. Antoine Delignat-Lavaud An automaton model for Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-31 10:20:39 Formal languages Algebra Mathematics Category theory Algebraic structures Syntactic monoid Regular language Monoid Monad Abstract algebra Automata theory Semigroup theory
159	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
160	Regular temporal cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Regular expression Software engineering Computer science Automata theory Theoretical computer science Semigroup

UPDATE